1. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
2. Algebraic recursion theory
پدیدآورنده : Ivanov, Ljubomir Lalov, 2591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
I93
3. Algebraic recursion theory /
پدیدآورنده : L.L. Ivanov ; editor, Dr. J.L. Bell
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Recursion theory
رده :
QA9
.
6
.
I93
1986
4. Bounded Queries in Recursion Theory
پدیدآورنده : \ William 1. Gasarch, Georgia A. Martin
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Information theory,Computational complexity,کامپیوتر,نظریه اطلاعات,پیچیدگی محاسباتی,a03,a04,a05,a03,a04,a05
رده :
E-Book
,
5. Bounded Queries in Recursion Theory
پدیدآورنده : by William I. Gasarch, Georgia A. Martin.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational complexity.,Computer science-- Mathematics.,Computer science.,Information theory.,Mathematics.,Operator theory.
6. Bounded queries in recursion theory
پدیدآورنده : Gasarch, William I.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computational complexity,، Recursion theory
رده :
QA
267
.
7
.
G3
7. Classical recursion theory: the theory of functions and sets of natural numbers
پدیدآورنده : Odifreddi, Piergiorgio
موضوع : ، Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Classical recursion theory : the theory of functions and sets of natural numbers
پدیدآورنده : Odifreddi, Piergiorgio, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
O35
1989
9. Complexity, Logic, and Recursion Theory
پدیدآورنده :
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : MATHEMATICS / Applied.,MATHEMATICS / General.
10. Complexity, logic, and recursion theory
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computational complexity. ; Recursion theory. ;
11. Computability theory: An introduction to recursion theory
پدیدآورنده : / Enderton H.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
12. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53
2011
13. Computability theory : an introduction to recursion theory
پدیدآورنده : Enderton, Herbert B.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
E53C6
14. Computability theory :an introduction to recursion theory
پدیدآورنده : / Herbert B. Enderton
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Recursion theory
رده :
511
.
35
E56C
2011
15. Foundations of mathematical system dynamics : the fundamental theory of causal recursion and its application to social science and economics
پدیدآورنده : Aulin, Arvid.
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Economics, Mathematical,، Social sciences- Statistical methods
16. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin, 2491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
17. Fundamentals of generalized recursion theory
پدیدآورنده : Fitting, Melvin
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F57
1981
18. General recursion theory
پدیدآورنده : Fenstad, Jens Erik
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F46
1980
19. General recursion theory : an axiomatic approach
پدیدآورنده : Fenstad, Jens Erik.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
F46
20. Generalized recursion theory. Proceedings of the 1972 Oslo symposium
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursive functions
رده :
QA
248
.
5
.
S93
1972
